1
A Computational Logic

A Computational Logic

Robert S. Boyer, J Strother Moore and Thomas A. Standish (Auth.)
Год:
1979
Язык:
english
Файл:
PDF, 19.40 MB
0 / 0
english, 1979
5
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
Год:
2000
Язык:
english
Файл:
DJVU, 2.07 MB
0 / 0
english, 2000
6
Design and Verification of Microprocessor Systems for High-Assurance Applications

Design and Verification of Microprocessor Systems for High-Assurance Applications

Matt Kaufmann, J Strother Moore (auth.), David S. Hardin (eds.)
Год:
2010
Язык:
english
Файл:
PDF, 6.19 MB
0 / 0
english, 2010
7
Computer-Aided Reasoning: An Approach

Computer-Aided Reasoning: An Approach

Matt Kaufmann, Panagiotis Manolios, J. Strother Moore (auth.)
Год:
2000
Язык:
english
Файл:
PDF, 8.93 MB
0 / 0
english, 2000